SRI International

Results: 1439



#Item
41Workshop on Big Data in Education Balancing the Benefits of Educational Research and Student Privacy Implications of Privacy Concerns for Using Student Data for Research: Panel Summary Marie Bienkowski, SRI International

Workshop on Big Data in Education Balancing the Benefits of Educational Research and Student Privacy Implications of Privacy Concerns for Using Student Data for Research: Panel Summary Marie Bienkowski, SRI International

Add to Reading List

Source URL: naeducation.org

- Date: 2017-05-15 11:15:29
    42Securing the Software-Defined Network Control Layer Phillip Porras, Steven Cheung, Martin Fong, Keith Skinner, and Vinod Yegneswaran Computer Science Laboratory, SRI International 333 Ravenswood Avenue, Menlo Park, CA 94

    Securing the Software-Defined Network Control Layer Phillip Porras, Steven Cheung, Martin Fong, Keith Skinner, and Vinod Yegneswaran Computer Science Laboratory, SRI International 333 Ravenswood Avenue, Menlo Park, CA 94

    Add to Reading List

    Source URL: www.csl.sri.com

    - Date: 2014-12-07 16:47:18
      43Probabilistic Inference Modulo Theories Rodrigo de Salvo Braz SRI International Menlo Park, CA, USA Ciaran O’Reilly

      Probabilistic Inference Modulo Theories Rodrigo de Salvo Braz SRI International Menlo Park, CA, USA Ciaran O’Reilly

      Add to Reading List

      Source URL: www.ai.sri.com

      - Date: 2016-04-20 14:11:39
        44Probabilistic Inference Modulo Theories∗ Rodrigo de Salvo Braz SRI International Menlo Park, CA, USA Ciaran O’Reilly

        Probabilistic Inference Modulo Theories∗ Rodrigo de Salvo Braz SRI International Menlo Park, CA, USA Ciaran O’Reilly

        Add to Reading List

        Source URL: www.ai.sri.com

        - Date: 2016-06-08 22:02:44
          45AIC-PRAiSE User Guide Rodrigo de Salvo Braz Artificial Intelligence Center SRI International July 3, 2016

          AIC-PRAiSE User Guide Rodrigo de Salvo Braz Artificial Intelligence Center SRI International July 3, 2016

          Add to Reading List

          Source URL: www.ai.sri.com

          - Date: 2016-07-03 19:16:48
            46Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems ? Carolyn Talcott1 , Vivek Nigam2 , Farhad Arbab3 , and Tobias Kapp´e4 1 SRI International, Menlo Park, CA 94025, USA

            Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems ? Carolyn Talcott1 , Vivek Nigam2 , Farhad Arbab3 , and Tobias Kapp´e4 1 SRI International, Menlo Park, CA 94025, USA

            Add to Reading List

            Source URL: nigam.info

            - Date: 2016-05-07 12:12:43
              47Security-Mode ONOS Changhoon Yoon KAIST Collaborators SRI International

              Security-Mode ONOS Changhoon Yoon KAIST Collaborators SRI International

              Add to Reading List

              Source URL: events.linuxfoundation.org

              - Date: 2016-03-03 22:18:25
                48Bixie: Finding and Understanding Inconsistent Code Tim McCarthy∗ , and Philipp R¨ummer† , and Martin Sch¨af∗ ∗ SRI International University

                Bixie: Finding and Understanding Inconsistent Code Tim McCarthy∗ , and Philipp R¨ummer† , and Martin Sch¨af∗ ∗ SRI International University

                Add to Reading List

                Source URL: www.csl.sri.com

                - Date: 2015-02-12 18:39:22
                  49Making Shakey Peter E. Hart Abstract Shakey, the world’s first mobile, intelligent robot, was developed at Stanford Research Institute (now SRI International) between 1966 andI worked on this project from the da

                  Making Shakey Peter E. Hart Abstract Shakey, the world’s first mobile, intelligent robot, was developed at Stanford Research Institute (now SRI International) between 1966 andI worked on this project from the da

                  Add to Reading List

                  Source URL: rll.berkeley.edu

                  - Date: 2015-06-22 10:46:13
                    50Model-Constructing Satisfiability Calculus A Model-Based Approach to SMT Dejan Jovanović SRI International

                    Model-Constructing Satisfiability Calculus A Model-Based Approach to SMT Dejan Jovanović SRI International

                    Add to Reading List

                    Source URL: www.cs.nyu.edu

                    - Date: 2015-07-16 01:29:46